finite intersection properties and compact set